Opencast mining systems - German English Dictionary